" Eckehard Schnieder" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Sicherheitsforschung: Chancen und Perspektiven (acatech DISKUTIERT)

Friedrich-Wilhelm Bach, Petra Winzer, Eckehard Schnieder

50.33 Mb

#2

Verkehrsleittechnik: Automatisierung des Straßen- und Schienenverkehrs - VDI-Buch

Eckehard Schnieder, E. Schnieder, U. Becker, I. Braun, A Busemann, S. Detering, F. Hänsel, J.C. May, L. Müller, J. Poliak, H. Schrom, R. Slovak, S. Wegele

28.32 Mb

#3

FORMS FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

Eckehard Schnieder, Geza Tarnai

5.86 Mb

#4

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG). Final Report (Lecture Notes in Computer Science)

Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper

Категория: Computing & information technology

6.64 Mb